Extending Taylor Approximation to Hybrid Systems with Integrals
نویسندگان
چکیده
In [10, 11] we proposed a technique to approximate Hybrid Automata (HA) with Polynomial HA. The idea was to replace functions appearing in formulae with their Taylor Polynomials. Here we extend this technique to HA with formulae admitting integral functions. We prove that we get over-approximations of the original HA. We study the conditions ensuring that: 1. the “distance” between the formulae of the original HA and its approximation get close to 0 when increasing the degree of the Taylor polynomial (syntactical approximation), 2. the “distance” between the configurations reached in n steps by the two HA get close to 0 when increasing the degree of the Taylor polynomial (semantic approximation).
منابع مشابه
New Optimal Observer Design Based on State Prediction for a Class of Non-linear Systems Through Approximation
This paper deals with the optimal state observer of non-linear systems based on a new strategy. Despite the development of state prediction in linear systems, state prediction for non-linear systems is still challenging. In this paper, to obtain a future estimation of the system states, initially Taylor series expansion of states in their receding horizons was achieved to any specified order an...
متن کاملApproximation of certain multivariate integrals
A Taylor series approximation to multivariate integrals taken with respect to a multivariate probability distribution is proposed and applied to the computation of multivariate normal probabilities and conditional expectations. The approximation does not require that the multivariate distribution have a structured covariance matrix and, in its simplest form, can be written as the product of uni...
متن کاملSUPER- AND SUB-ADDITIVE ENVELOPES OF AGGREGATION FUNCTIONS: INTERPLAY BETWEEN LOCAL AND GLOBAL PROPERTIES, AND APPROXIMATION
Super- and sub-additive transformations of aggregation functions have been recently introduced by Greco, Mesiar, Rindone and v{S}ipeky [The superadditive and the subadditive transformations of integrals and aggregation functions, {it Fuzzy Sets and Systems} {bf 291} (2016), 40--53]. In this article we give a survey of the recent development regarding the existence of aggregation functions with ...
متن کاملSeries expansion of Wiener integrals via block pulse functions
In this paper, a suitable numerical method based on block pulse functions is introduced to approximate the Wiener integrals which the exact solution of them is not exist or it may be so hard to find their exact solutions. Furthermore, the error analysis of this method is given. Some numerical examples are provided which show that the approximation method has a good degree of accuracy. The main ...
متن کاملA functional approximation for the M/G/1/N queue
This paper presents a new approach to the functional approximation of the M/G/1/N built on a Taylor series approach. Specifically, we establish an approximative expression for the remainder term of the Taylor series that can be computed in an efficient manner. As we will illustrate with numerical examples, the resulting Taylor series approximation turns out to be of practical value.
متن کامل